Distributing Requirements Specifications on Basic Splice Distributing Requirements Speciications on Basic Splice
نویسنده
چکیده
This is an extension of work presented in 12]. It is proved that the seemingly weak architecture Basic Splice introduced there {in which the coordination of processes is done using only a global set with read/write primitives{ can support a distributed implementation of a large class of requirements speciications, namely LPEs (a CRL intermediate representation of speciications).
منابع مشابه
Distributing Requirements Specifications on Basic Splice
This is an extension of work presented in [12]. It is proved that the seemingly weak architecture Basic Splice introduced there {in which the coordination of processes is done using only a global set with read/write primitives{ can support a distributed implementation of a large class of requirements speci cations, namely LPEs (a CRL intermediate representation of speci cations). 2000 Mathemati...
متن کاملExpressiveness of Basic Splice Expressiveness of Basic Splice
We study a simple software architecture, in which application processes are coordinated by writing into and reading from a global set. This architecture underlies Splice, which is developed and used at the company Hollandse Signaalapparaten. Our approach is distinguished by viewing the architecture as a component itself, described formally by means of process algebra. Two results are proved. Fi...
متن کاملIdentification of a Novel Splice Site Mutation in RUNX2 Gene in a Family with Rare Autosomal Dominant Cleidocranial Dysplasia
Introduction: Pathogenic variants of RUNX2, a gene that encodes an osteoblast-specific transcription factor, have been shown as the cause of CCD, which is a rare hereditary skeletal and dental disorder with dominant mode of inheritance and a broad range of clinical variability. Due to the relative lack of clinical complications resulting in CCD, the medical diagnosis of this disorder is challen...
متن کاملBusiness Process Requirements for Indonesian Small Medium Enterprises (SMEs) in Implementing Enterprise Resource Planning (ERP) and ERP Systems Comparison
Based on Central Agency on Statistic (Badan Pusat Statistik – BPS), the growth of SMEs in Indonesia is increasing rapidly. In order to increase their competitive advantage, SMEs need to implement ERP system. However, most of ERP systems in the today market are very complex and not suitable for Indonesian SMEs. This paper presents the requirements of Indonesian SMEs’ main business processes whic...
متن کاملNetwork Working Group Problem Statement and Requirements on a 3-party Key Distribution Protocol for Handover Keying
The HOKEY WG is developing solutions for optimizations as well as security key hierarchy specifications for handovers. The key derivation specifications all draw from a trust relationship that is created as a result of a "2-party" EAP authentication between a peer and a backend server, while distributing the resulting keys to third parties other than the peer and the backend server. This docume...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007